Finite-Size Scaling at First-Order Quantum Transitions