Indonesia’s batik-makers turn to mangroves as demand grows for eco-dyes