兰州理工大学合并更名