直线m垂直平面a,直线n垂直平面a,能否推得m平行于n?考不考虑重合的情况?