A First Order Modal Logic and its Sheaf Models