Efficient and Provable Multi-Query Optimization