How to extract lithium carbonate from lithium batteries