Cyclic extensions of free pro-$p$ groups and $p$-adic modules