john carmack net worth