Pipe vesicles in basalt lava flow