Efficiency of ATP synthase as a molecular machine