A three-dimensional Bingham model for channeled lava flows