Mean-field limit of Bose systems: rigorous results