A Semi-Markovian Individual Model of Users for P2P Video Streaming Applications