A virtual AIS network with a virtual sphere of AIS messages and virtual transponders