An Integer Linear Programming Approach for Radio-Based Localization of Shipping Containers in the Presence of Incomplete Proximity Information