On the Beth properties of some intuitionistic modal logics