AI pop music composition with different levels of control: theory and application