A Branchless UTF-8 Decoder