Does giving a second BCG vaccination or adding a leprosy vaccine to BCG vaccination provide additional protection against leprosy and tuberculosis, compared with giving a single BCG vaccination?