Getting Started with Church Metrics