PRA Provability of Schmerl's Fine Structure Theorem