Now that we are leaving the EU, should we go back to imperial measurements?