An efficient algorithm for K shortest simple paths