Shrimp aquaculture in the federal state of Ceará, 1970-2012: Trends after mangrove forest privatization in Brazil