Mathematical aspects of mean field spin glass theory