Applied Category Theory for Industry