Shotcrete using ternary binder made from coal combustion products: from lab tests to an application