A formal analysis of the standard operating processes (SOP) and multiple time scales (MTS) theories of habituation