Phenomenological aspects of F-theory