Miami International has grown to be the 14th largest global derivatives exchange operator as of June 30 since launching its first options exchange in 2012, the company said in a filing with the ...