brushless DC tachogenerator