Microstructure-based modelling and experimental investigation of crack propagation in glass-alumina functionally graded materials