What atmospheric gas can be determined from fossilized leaf sizes and shapes