GNSS Carrier Phase-based Attitude Determination: Estimation and Applications