who is james mill what did he do