Theoretical rocket performance of JP-4 fuel with several fluorine-oxygen mixtures assuming frozen composition