Lorenzo da Ponte, el libretista de Mozart