Model theory of bounded arithmetic with applications to independence results