Integer linear programming formulations and heuristic solution approaches for busy time minimization in temporal bin packing | Synapse