Cheapest-to-deliver pricing, optimal MBS securitization, and welfare implications