A micro-credential for learning Inspirations, theories, mathematical models, and applications of HC and SA algorithms