F-theory on singular spaces and semi-realistic model building