North Korea touts industrial ‘miracles’ as output exceeds targets, state media says