On Model Theory for Intuitionistic Bounded Arithmetic with Applications to Independence Results