Flavin adenine dinucleotide and nicotinamide adenine dinucleotide are examples of what?