Taifead r-phoist: F-theory models on K3 surfaces with various Mordell-Weil ranks — constructions that use quadratic base change of rational elliptic surfaces