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