Summary Records of the Tallinn Manuals on Cyber Operations Workshop