How much faster would the Tesla P85D 0-60 time be if someone customized a version to have half the battery weight (and capacity)?