Is lava rock for firepits and landscaping still safe for aquariums?