Are 12-word Seeds for Bitcoin Private Keys Secure? Programmer explains