布达拉宫红山有多高