ProShares launches ETF investing in miners of metals for batteries powering electric vehicles