Converting ASCII strings to lower case at crazy speeds with AVX-512