Recursive optimal linear attitude estimator based on star sensor and gyro