use mnesia as key-to-pid store