Astronomer Johannes Kepler’s notation of the “planetary songs”