Split Lie Algebra Extensions Are Semidirect Products