Costs and benefits of a United Kingdom exit from the European Union