Stratified Staged Trees: Modelling, Software and Applications