IXIDE Explains: What Is a Mempool and Why Can a Transaction Get Stuck?