What is the difference between an AC contactor and a DC contactor, and are they interchangeable?