AIS receiver and server