Length minimizing paths in the Hamiltonian diffeomorphism group, to appear, J. Symplectic Geom., (2007 version available at arxiv math.SG/0703738)