Global Attitude and Gyro Bias Estimation Based on Set-Valued Observers: MATLAB implementation