A new formulation and Benders decomposition for the multi-period maximal covering facility location problem with server uncertainty