Formal Brauer groups arising from certain weighted K3 surfaces Equivariant formal group laws and complex-oriented spectra over primary cyclic groups: elliptic curves, Barsotti-Tate groups, and other examples 