Michael Mustill, Baron Mustill — British judge (1931-2015)