robert trent jones net worth