LinearB: Engineering Operational Excellence