Quantum Optimal Transport, Sobolev Inequalities and Applications to Semiclassical Mean-field Limit