Quench in a pancake coil wound with REBCO Roebel cable: Model and validation