Universal Property of Lie Algebra Semidirect Products