The government has published its Brexit proposals to the EU, including plans to replace the Irish backstop.