Control- & Task-Aware Optimal Design of Actuation System for Legged Robots using Binary Integer Linear Programming