UK government bans export of execution drugs