Miami New Times Editor to Leave Paper