Subvector inference in PI models with many moment inequalities