Marvista: A Human-AI Collaborative Reading Tool