Aspects of F-Theory GUTs