Electrochemical modeling and validation of high-k dielectric and nanomaterial based enzyme field effect trasistors (ENFETs) for biomolecular detection