Mixing Quantum and Classical Mechanics