A PLL-based eddy current displacement sensor for button applications