Practical and Theoretical Advances in Inference for Partially Identified Models