Population synthesis of wide binary millisecond pulsars