A ship egress analysis method using spectral Markov decision processes