Pathfinders in the Sky: Formal Decision-Making Models for Collaborative Air Traffic Control in Convective Weather