who sang the original happy days theme song