MIPAS Level 1B algorithms overview: operational processing and characterization