When Cell-Free Massive MIMO Meets OTFS Modulation: The Downlink Case