Proper rationalizability in lexicographic beliefs