California launches pilot to charge drivers by miles, possibly replacing gas tax (reddit.com)