can carbon dating be used for lava flows