Automatic Sleep Staging using Support Vector Machines with Posterior Probability Estimates