Hand-operated pumps