Dual EV Households: How to Share One Charger for Tesla and Non-Tesla