Deadline-Constrained Content Upload from Multihomed Devices: Formulations and Algorithms