Modeling Humans for Coordinating Distributed Human-Agent Teams in Space Operations