Compositionality of optimal control laws