Model Theory for Modal Logic