Submodular function maximization via the multilinear relaxation and contention resolution schemes (Proceedings of the forty-third annual ACM symposium on Theory of computing)