PCOAST: A Pauli-Based Quantum Circuit Optimization Framework