在直角三角形中,两条直角边分别为12和5,则斜边的中线长是?