The principle of mutual recognition in EU criminal law