how much electric does a cement mixer use