Fixing D7-brane positions by F-theory fluxes