Execution and Empire: A History of Judicial Killing Under British Colonial Rule in the Nineteenth and Twentieth Centuries