STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies