VerilogA modelling of programmable metallization cells