Craig's interpolation theorem for modal logics