How data is being used to help reduce crime in Rio de Janeiro.