Proton conductivity in pure and doped KH2PO4