Introduction to Quantum Interactive Proof Systems: QMA, QCMA, and Their Oracle Separation