MIP models for connected facility location: A theoretical and computational study☆