We now know when the UK is set to leave the EU