Analyzing time-to-first-spike coding schemes: A theoretical approach