Carbon trading thickness and market efficiency