WhatsApp's Billion-User Database: How FreeBSD and Erlang Handled the Impossible