electrically operated diaphragm pump