Digital beamforming techniques applied to satellite-based AIS receiver