the history of the kingdom of jogja