Practical 0.385-Approximation for Submodular Maximization Subject to a Cardinality Constraint