$p$-adic analogues of two ${}_4F_3$ hypergeometric identities and their applications