Definition and Existence of Quantum Isometry Groups