Gửi tin nhắn: Gross-Error Detection in GNSS Networks Using Spanning Trees