Boundary Non-crossing Probabilities of Gaussian Processes: Sharp Bounds and Asymptotics