Kinetic models of spike-timing dependent plasticity and their functional consequences in detecting correlations