Homotopical group theory I: p-compact groups