Martingales and Boundary Crossing Probabilities for Markov Processes