Efficient Workload Balancing on Heterogeneous GPUs using Mixed-Integer Non-Linear Programming