CERN FCC Future Circular Collider details of proposed 100km-diameter successor to LHC