Thought experiments as model-based abductions