diferencia entre encoder y resolver