Provable benefits of representation learning