FPGA-based, Pound-Drever-Hall electronics and automatic relock