A Python library for decoding and encoding AIS type 1 messages