A stochastic model for inter-keypress times in a typing task