How good are query optimizers, really? | Synapse