An exact approach to sparse principal component analysis