The magnetic proximity effect at the MoS2/CrI3 interface