Different models?

I'm buying a new S5 mini.. and I noticed that it's G800F but there're other models like SM-G800R4..

Are they different? Will I be able to upgrade every S5 mini to the last Android version available for it, that is 5.1.1?