接触网向电力机车提供的电流制是（ ）交流电。