Self-Supervised Learning with Data Augmentations Provably Isolates Content from Style