Labelled sequent calculi for indexed modal logics