Animation of Oklahoma Seismicity: June 9, 2008 - February 25, 2017