Correctness results for on-line robust principal components analysis