已知坡度和坡长怎么算垂直高度