Quarl: A Learning-Based Quantum Circuit Optimizer