Shock-induced leading-edge separation in hypersonic flows