ATENEA: Advanced techniques for deeply integrated GNSS/INS/LiDAR navigation