ZeroMQ founder Pieter Hintjens dies