A simulation of spike-timing dependent plasticity, reimplementing the model described in Song et al., 2000