Upper bound analysis of progressive failure mechanism of tunnel roofs in partly weathered stratified Hoek–Brown rock masses