Discrete symmetries in Heterotic/F-theory duality and mirror symmetry