矿用电机车目前都采用（）电动机作为牵引电动机。