Good Subnetworks Provably Exist: Pruning via Greedy Forward Selection