what version of android does the samsung galaxy tab 10.1 run?