The Operations Evaluation Group: A History of Naval Operations Analysis