Nonperturbative Type IIB Model Building in the F-theory Framework